|
Frederic Brenton Fitch (1908 – September 18, 1987) was an American logician, a Sterling Professor at Yale University.〔.〕 Fitch was the inventor of the Fitch-style calculus for arranging formal logical proofs as diagrams.〔.〕 In his 1963 published paper "A Logical Analysis of Some Value Concepts" he proves "Theorem 5" (originally by Alonzo Church) which later became famous in context of the Knowability Paradox.〔(Fitch's Paradox of Knowability ) in the Stanford Encyclopedia of Philosophy.〕 Fitch earned his Ph.D. from Yale in 1934 under the supervision of F. S. C. Northrop. ==Bibliography== * ''Symbolic Logic, An Introduction'', Frederic Fitch, The Ronald Press Company, 1952 * ''A Logical Analysis of Some Value Concepts'', Frederic Fitch, 1963 * ''Elements of Combinatory Logic'', Frederic Fitch,Yale University Press, 1974 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Frederic Fitch」の詳細全文を読む スポンサード リンク
|